mathematical logic

1. I learn the formulas that have been proved by mathematical logic and empirical evidence.
   我学到的是已经被数学推理和实际经验所证明的公式。
2. Early in his professional career, he gained a PhD in mathematical logic from the University of Buenos Aires.
   在其职业生涯早期曾获得布宜诺斯艾利斯大学数学逻辑博士学位。
3. Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
   莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
4. In mathematical logic in the study is the main target of all kinds of calculus.
   在数理逻辑中研究的主要对象是各种演算。
5. Humans have always attempted to apply mathematical logic to quantify the structure of material and immaterial substance with units of measurement.
   人类习惯将事物数理化，自然界内不论物质或非物质都会被量度和计算，随以单位命名；
6. Mathematical logic, also known as symbolic logic, was developed when people finally realized that the tools of mathematics can be used to study the structure of logic itself.
   数理逻辑，也称为符号逻辑，是当人们终于认识到，数学的工具可以用来研究的结构，逻辑本身。
7. And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.
   与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
8. Such as sports dance room, gymnastics room, chess room, taekwondo hall, martial arts, indoor swimming pool, multi-media teaching rooms, and mathematical logic rooms.
   如体育舞蹈室、体操室、围棋室、跆拳道馆、武术馆、室内游泳馆、多媒体教学室、数理逻辑室等。
9. The implication of the mathematical logic is not the scientific abstract of sufficient conditional relation, thus an implication paradox appears.
   数理逻辑中的实质蕴涵不是充分条件关系的科学抽象，从而产生蕴涵怪论。
10. Mathematical logic is to study the logic of reasoning, using mathematical symbols of the reasoning given way to establish rules of reasoning system.
    数理逻辑是研究推理逻辑的，采用数学符号化的方法给出推理规则来建立推理体系。
11. Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
    数理逻辑的延伸符号逻辑到其他领域，特别是研究模型理论，证据理论，集理论，并递归理论。
12. This paper introduces the basic knowledge of mathematical logic, and the application of mathematical logic in computer science, in particular, in artificial intelligence ( AI) and database ( DB).
    本文主要介绍数理逻辑的基本知识，以及数理逻辑在计算机科学中尤其是在数据库和人工智能中的应用。
13. As was the case for his seminal contributions to computing and mathematical logic, his work on morphogenesis has few if any direct predecessors.
    正如他对计算机、数学逻辑的潜在贡献一样，他在形态上的工作就算不是前无古人也是寥寥无几。
14. The Blind Zone of Mathematical Logic and the Rise of Philosophical Logic: Comments on Heidegger's Thought of Philosophical Logic
    数理逻辑的盲区与哲学逻辑的兴起&评海德格尔哲学逻辑思想
15. Therefore, it is a common-sense error to attempt to reform or replace traditional formal logic with mathematical logic.
    因此，用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误。
16. It also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects.
    同时设立了泛函分析、数理逻辑等研究组，以加强相应理论学科的研究。
17. Mathematical logic and computer science has a very close relationship. Also, the computational theory is based on mathematical logic.
    数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。
18. As it is required in mathematical logic, the importance of theory of kleene algebras is obviously.
    由于逻辑学研究的需要，Kleene代数理论的重要性已越来越明显。
19. In this article, a method of mathematical logic is applied to analysis of some proof methods which are usually used in mathematics. It provides a theory basis on which proof method can be applied more correctly and conveniently.
    文章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析，为正确简便地运用数学证明方法提供了理论依据。
20. A Study on the Development of Paradox and Mathematical Logic
    悖论与数理逻辑的发展探析
21. Consistency is one of the most fundamental syntactic concepts in mathematical logic.
    协调性是数理逻辑中最基本的语法概念之一。
22. This article mainly discusses several mathematical logic thinking methods and their applications in artistic design.
    本文主要分析了几种数理逻辑思维方法及在艺术设计中的应用。
23. On the basis of matrix theory, the algorithm for computing s-invariant and t-invariant of petri net are presented; on the basis of mathematical logic, the solution method for siphon and trap of petri net are obtained.
    根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法，基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法。
24. He put forward two basic ideas of mathematical logic to construct formal language and found calculus.
    这里，他最早提出了数理逻辑的两个基本思想：构造形式语言和建立演算。
25. Therefore, intelligence inference should not be based upon the orthodox mathematical logic.
    因此，情报推理不能以正统数理逻辑作为推理工具。
26. Therefore, in the hearing culture, the first to emphasize that understands of mathematical logic in the rhythm.
    因此，在听觉培养过程中，首先强调的是对节奏中数理逻辑的理解。
27. The dissertation proves the viewpoint with mathematical logic method strictly, then constructs the integrated model from classical trade theory to the new trade theory, and proves the equivalence between comparative cost and opportunity cost.
    对此，本文进行了严格的数学逻辑证明，并在此基础上构建了从古典贸易理论到新贸易理论的集成模型，证明了比较成本与机会成本的等价性。
28. Not only is he the founder of mathematical logic, but also the founder of the philosophy of language and analysis.
    他不仅是数理逻辑的奠基人，也是语言和分析哲学的奠基人。
29. Based on the mathematical logic theory, this paper designed priority calculation method which used for complex trigger conditions in trigger model.
    在数理逻辑理论的基础上，设计了用于触发器模型的复杂触发条件的优先级计算方法。
30. But it has a profound impact on the modern mathematical logic, analytic philosophy and the philosophy of language.
    但对现代数理逻辑、分析哲学和语言哲学都产生了深刻的影响。

noun

1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

   Synonym:    symbolic logicformal logic